sentential logic - German English Dictionary